101. Formal language description languages for computer programming; proceedings
پدیدآورنده : Edited by T.B. Steel, Jr
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
I17
1964
102. Formal language description languages for computer programming; proceedings
پدیدآورنده : IFIP Working Conference on Formal Language Description Languages, )4691, Vienna, Austria(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I17
1964
103. Formal specification and software development
پدیدآورنده : Bjorner, Dines
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
104. Formal specification and software development
پدیدآورنده : Bjorner, Dines, 7391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
105. Formal specification of interactive graphics programming languages
پدیدآورنده : Mallgren, William Roberts
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Computer graphics
رده :
T
385
.
M34
1983
106. Formal specification of interactive graphics programming languages
پدیدآورنده : / William R. Mallgren
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers)- Computer graphics
رده :
T385
.
M34
1983
107. Foundations of logic programming
پدیدآورنده : J.W. Lloyd
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987
108. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1984
109. Foundations of logic programming
پدیدآورنده : Lloyd, J. W.)John Wylie(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987
110. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie, 7491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L56
1987
111. Foundations of programming languages
پدیدآورنده : Lee, Kent Derek
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
L43F6
2017
112. Foundations of quantum programming
پدیدآورنده : Ying, Mingsheng
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Quantum computers,، Programming languages )Electronic computers(
رده :
QA
76
.
889
.
Y56F6
113. Full abstraction and semantic equivalence
پدیدآورنده : Mulmuley, Ketan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
M86
114. Functional C
پدیدآورنده : Hartel, Pieter, Pieter Hartel, Henk Muller
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Functional Programming Languages,، Programming Languages)Electronic Computers(
رده :
QA
76
.
73
.
F9H3
115. Fundamentals of programming languages
پدیدآورنده : Horwitz, Ellis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
H67
1984
116. Handbook of programing languages, volume III: little languages and tools
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Programming languages (Electronic computers)
رده :
{
1648
},
25f6d6de47eece74cecbb919c57dae1d
117. High-level languages and software applications
پدیدآورنده :
موضوع : ، Programming languages )Electronic computers(,، Computer software
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
118. High-level languages and software applications
پدیدآورنده : William J. Birnes, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Programming languages )Electronic computers(,، Computer software
رده :
QA
76
.
7
.
H515
1989
119. High-level languages and software applications
پدیدآورنده : William J. Birnes, editor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Computer software
رده :
QA
76
.
7
.
H515
1989
120. High- level languages and their compilers
پدیدآورنده : Watson, Des.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Programming languages )Electronic computers(,، Compilers )Computer programs(
